RECURSIVE PROGRAMMING APPROACH TO INEQUALITIES
نویسندگان
چکیده
منابع مشابه
A Recursive Data-Driven Approach to Programming Multicore Systems
In this paper, we propose a method to program divide-and-conquer problems on multicore systems that is based on a data-driven recursive programming model. Data intensive programs are difficult to program on multicore architectures because they require efficient utilization of inter-core communication. Models for programming multicore systems available today generally lack the ability to automat...
متن کاملMulticriteria integer programming: A (hybrid) dynamic programming recursive approach
where C ~ = (ct . . . . . , cpn) t, a n = (atn, . . . , aun) t and k = (k~, k2, .. . , k~) denote vectors of integers, and v-max (vector maximization) is used to differentiate the solution f rom the common single object ive maximization. The solution to (MCILP) is a set of integer points, X ° ( b ) , called efficient, such that if x ° E X ° ( b ) , there does not exist any other feasible point,...
متن کاملA Conic Programming Approach to Generalized Tchebycheff Inequalities
Consider the problem of finding optimal bounds on the expected value of piece-wise polynomials over all measures with a given set of moments. This is a special class ofGeneralized Tchebycheff Inequalities in probability theory. We study this problem within the framework of conic programming. Relying on a general approximation scheme for conic programming, we show that these bounds can be numeri...
متن کاملnon-corrective approach to pronunciation
the aim of this study has been to find answers for the following questions: 1. what is the effect of immediate correction on students pronunciation errors? 2. what would be the effect of teaching the more rgular patterns of english pronunciation? 3. is there any significant difference between the two methods of dealing with pronuciation errore, i. e., correction and the teaching of the regular ...
15 صفحه اولRecursive Programming with Proofs
There has been a lot of work based on the paradigm “proofs as programs”, leading to sophisticated realizations (see e.g. [2,4, 133). An expected benefit is the development of correct programs, but, so far, no programming language in current use came from these works. The difficulty is the apparent distance between proofs and programs: the proofs are often complicated and the extracted programs ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Memoirs of the Faculty of Science, Kyushu University. Series A, Mathematics
سال: 1978
ISSN: 0373-6385
DOI: 10.2206/kyushumfs.32.165